1. Advanced work in English
المؤلف: Parker, Colin Rodwell Eric.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، English language - Style,، Logic, Symbolic and mathematical
رده :
PE
1413
.
P28
2. An introduction to Wittgenstein's Tractatus
المؤلف: Anscombe, Gertrude Elizabeth Margaret, 9191-1002
المکتبة: (طهران)
موضوع: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T7226
1971
3. Essays on Wittgenstein's Tractatus
المؤلف: / edited by Irving M. Copi and Robert W. Beard
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Wittgenstein, Ludwig, 1889 - 1951. Tractatus,Logic, symbolic and mathematical,Language - Philosophy
رده :
149
.
94
Co-E
4. Essays on wittgnestein's tractatus
المؤلف: / edited by Irving M. Copi, Robert W. Beard
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Wittgenstein, Luding. 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language - Philosophy
رده :
160
W831
5. Foundations of logic and linguistics: problems and their solutions
المؤلف: edited by Georg Dorn and P. Weingartner
المکتبة: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع: Logic,Logic, Symbolic and mathematical,Language and logic,Language and languages
رده :
BC
5
.
F68
1985
6. Foundations of logic and linguistics : problems and their solutions
المؤلف: edited by Georg Dorn and P. Weingartner
المکتبة: (طهران)
موضوع: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
7. Frege :
المؤلف: Michael Beaney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
8. Frege :making sense
المؤلف: Beaney, Michael.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
9. From natural language processing to logic for expert systems
المؤلف: / editor Andre Thayse authors Jean -Louis Binot.. [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Natural language prodceeing (Computer science),Expert systems -- (Computer science),Logic, Symbolic and mathematical,Artificial intelligence
رده :
QA
76
.
9
.
N38F76
1991
10. From signs to propositions: The concept of form in eighteenth-century semantic theory
المؤلف: Land, Stephen K.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
11. From signs to propositions: the concept of form in eighteenth-century semantic theory
المؤلف: Stephen K. Land
المکتبة: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع: Semantics,Language and languages,Linguistics,Logic, Symbolic and mathematical
رده :
P
325
.
L29
1974
12. Introduction to formal philosophy
المؤلف: Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
المکتبة: (طهران)
موضوع: ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
13. Language in action : categories, lambdas, and dynamic logic
المؤلف: Benthem, Johan F. A. K. van, 9491-
المکتبة: (طهران)
موضوع: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
14. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Learning language in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
16. Learning language in logic
المؤلف: / James Cussens, Saeso Dezeroski, (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
9
,.
L63
,
L42
,
2000
17. Learning language in logic
المؤلف: James Cussens, Saso Dzeroski, )eds.(
المکتبة: (طهران)
موضوع: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1925
18. Logic, Language, formalism, informlaism
المؤلف: Richardson, Daniel
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical - Study and teaching , Computational Linguistics - Study and teaching , Language and logic - Study and teaching , Reasoning - Study and teaching
رده :
QA
9
.
R52
1995
19. Logic and computer science
المؤلف: / S. Homer... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
20. Logic, language, and computation
المؤلف: / edited by Jerry Seligman & Dag Westerst?Nhl
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Language and logic.,Logic, Symbolic and mathematical.,Computational linguistics.
رده :
P
,
39
,.
L593
,
1996
